$\forall$${\it the\_es}$:ES. WellFnd\{i\}(E;$x$,$y$.($x$ $<$ $y$))